Rapid and Creative Course Design: As Easy as ABC?

It’s As Easy As abc

1224 NOTICES OF THE AMS VOLUME 49, NUMBER 10 Fermat’s Last Theorem In this age in which mathematicians are supposed to bring their research into the classroom, even at the most elementary level, it is rare that we can turn the tables and use our elementary teaching to help in our research. However, in giving a proof of Fermat’s Last Theorem, it turns out that we can use tools from calculus and ...

Instrumenting Android and Java Applications as Easy as abc

Program instrumentation is a widely used mechanism in different software engineering areas. It can be used for creating profilers and debuggers, for detecting programming errors at runtime, or for securing programs through inline reference monitoring. This paper presents a tutorial on instrumenting Android applications using Soot and the AspectBench compiler (abc). We show how two wellknown mon...

BSP in CSP: Easy as ABC

In this paper we describe how the language of Communicating Sequential Processes (CSP) has been applied to the analysis of a transport layer protocol used in the implementation of the Bulk Synchronous Parallel model (BSP). The protocol is suited to the bulk transfer of data between a group of processes that communicate over an unreliable medium with xed bu er capacities on both sender and recei...

Interpreting arterial blood gases: easy as ABC.

Nonsteroidal antiinflammatory drugs inhibiting prostanoid efflux: as easy as ABC?

N onsteroidal antiinflammatory drugs (NSAIDs) and prostanoids continue to be fascinating research targets. Humans have been using NSAIDs in one form or another, from folk remedies through to the products of modern pharmaceutical research, for thousands of years. However, we still have not characterized all of the systems through which these drugs produce their beneficial and harmful effects (1,...